Interval arithmetic